int run() {
	int i <- 1;
	while (1 <= i <= 5) {
		write(i);
		i <- i + 1;
	}
}
